2 402 202 книги
Поиск
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
Mathematical Logic
Автор:
Stephen Cole Kleene
Категория:
Математика
,
Прикладная математика
Размер книги: 4.05 Mb
The Foundations of Intuitionistic Mathematics (Studies in Logic and the Foundations of Mathematics, 39)
Автор:
Stephen Cole Kleene
, Автор:
Richard Eugène Vesley
Размер книги: 9.79 Mb
The Kleene symposium: Proceedings Madison, 1978
Автор:
Stephen C. Kleene
, Автор:
Jon Barwise
, Автор:
H. Jerome Keisler
, Автор:
Kenneth Kunen
, Автор:
University of Wisconsin--Madison
, Автор:
1978 Kleene Symposium
Категория:
M_Mathematics
,
MA_Algebra
,
MAml_Mathematical logic
Размер книги: 2.82 Mb
The Kleene Symposium: Proceedings of the Symposium Held June 18-24, 1978 at Madison, Wisconsin, U.S.A.
Автор:
Stephen C. Kleene
, Автор:
Jon Barwise
, Автор:
H. Jerome Keisler
, Автор:
Kenneth Kunen
, Автор:
University of Wisconsin--Madison
, Автор:
1978 Kleene Symposium
Размер книги: 4.95 Mb
The Foundations of Intuitionistic Mathematics: Especially In Relation to Recursive Functions
Автор:
Stephen Cole Kleene
, Автор:
R.E. Vesley
Категория:
Mathematical logic
Размер книги: 1.59 Mb
Collected works. Publications 1929-1936
Автор:
Kurt Gödel
, Автор:
Solomon Feferman
, Автор:
John W. Dawson Jr.
, Автор:
Stephen C. Kleene
, Автор:
Gregory H. Moore
, Автор:
Robert M. Solovay
, Автор:
Jean van Heijenoort
Категория:
Mathematical logic
Размер книги: 4.26 Mb
Collected works. Publications 1938-1974
Автор:
Kurt Gödel
, Автор:
S. Feferman
, Автор:
John W. Dawson Jr.
, Автор:
Stephen C. Kleene
, Автор:
G. Moore
, Автор:
R. Solovay
, Автор:
the late Jean van Heijenoort
Категория:
Mathematical logic
Размер книги: 3.42 Mb
Mathematical logic
Автор:
Stephen Cole Kleene
Категория:
Mathematical logic
Размер книги: 2.92 Mb
Collected Works: Volume I: Publications 1929-1936
Автор:
Kurt Gödel
, Автор:
Solomon Feferman
, Автор:
John W. Dawson Jr.
, Автор:
Stephen C. Kleene
, Автор:
Gregory H. Moore
, Автор:
Robert M. Solovay
, Автор:
Jean van Heijenoort
Категория:
Математика
Размер книги: 26.18 Mb
Turing's Analysis of Computability and Major Applications of it (Oxford
Автор:
Stephen C Kleene
Размер книги: 1.74 Mb
Collected Works: Volume I: Publications 1929-1936 (Godel, Kurt//Collected Works)
Автор:
Kurt Gödel
, Автор:
Solomon Feferman
, Автор:
John W. Dawson Jr.
, Автор:
Stephen C. Kleene
, Автор:
Gregory H. Moore
, Автор:
Robert M. Solovay
, Автор:
Jean van Heijenoort
Размер книги: 13.27 Mb
